Revert "use gcc-4.7"

This reverts commit fa2219327d94a4e4e3c9ae06687972420a23bff5.