gcc4.7 is for beginners, we want gcc4.8