use g++-4.8, remove unnecessary stuff