--- old/src/os/linux/vm/os_linux.inline.hpp	2014-09-07 09:54:01.920452512 +0400
+++ new/src/os/linux/vm/os_linux.inline.hpp	2014-09-07 09:54:01.820403768 +0400
@@ -263,4 +263,8 @@
   return Linux::_clock_gettime != NULL;
 }
 
+inline void os::exit(int num) {
+  ::exit(num);
+}
+
 #endif // OS_LINUX_VM_OS_LINUX_INLINE_HPP