src/SDCCmain.c (main): applied patch #866468