--- old/src/os/linux/vm/os_linux.hpp	2015-03-11 17:15:38.208447000 +0100
+++ new/src/os/linux/vm/os_linux.hpp	2015-03-11 17:15:38.062409000 +0100
@@ -143,6 +143,7 @@
   static int vm_default_page_size(void)                             { return _vm_default_page_size; }
 
   static address   ucontext_get_pc(ucontext_t* uc);
+  static void ucontext_set_pc(ucontext_t* uc, address pc);
   static intptr_t* ucontext_get_sp(ucontext_t* uc);
   static intptr_t* ucontext_get_fp(ucontext_t* uc);