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