Small fixes, using new "buildgcc"