don't insist on g++-4.8 anymore