Revert "use gcc-4.7 for now"

This reverts commit 9a7c618fcfda4ecc572fef9f96c64a1a7720a6d4.