Add also GCC 4.7