std::_Exit is not the same as std::exit!
fix a gcc warning