fix host-gcc problems (Patches from Rudi)