Use gcc 4.9.x for x86_64-linux