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