use gcc-4.7