ProgrammersManual: the flag is called -debug-only