Changed to GNU stdlibc++ to work in TravisCI (Note that stdlibc++ doesn't implement std::defaultfloat manipulator)