use gcc-4.7 for now