No -c option found for microcode_ctl.c