Change back to gcc4.7 and disable some overlay stuff