http://martinwguy.co.uk/martin/crunch/gcc-4.2.4-patches/