Use gcc 4.6X