Added explanation for how to use gcc-4.7