revert: use 4.6 GCC