Forcing GCC 4.7