When the "C" extension is enabled, this should also be forwarded to the compiler when compiling C programs.

Things we need to validate are:

• Are we adding the "c" extension in the right way for --march?
• Are we able to disassemble compiled binaries with compressed instructions?