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