format options: add flag "-fdebug"