+++ rts/System/Platform/Linux/CrashHandler.cpp	2015-04-08 20:09:33 -0400
@@ -344,5 +344,5 @@
 	boost::this_thread::sleep(boost::posix_time::seconds(10));
 #if defined(__GNUC__)
-	std::_Exit(-1);
+	_Exit(-1);
 #else
 	std::quick_exit(-1);
