Force to use g++-4.7