Switch to gcc4.6