gcc-4.1.1: fix problem with backslash in sed command