revert gcc-4.7/cmake again