Use 4.7 GCC for now