* src/SDCCmain.c: signal handling is switched off by SDCC_LEAVE_SIGNALS