+ use g++-4.7 in travis CI