make sure build uses gcc 4.7