Another attempt to use gcc-4.7 (#3).