* src/SDCCmain.c: prevent NULL pointer dereference, avoid warning