Binary microcode output is now supported