Another attempt to use gcc-4.7.