Revert to gcc4.7