patch from Mike for newer sdcc versions