Revert to gcc 4.7