compile with g++-4.8