Use gcc sabermod 4.7