--- old/src/os/bsd/vm/os_bsd.hpp	2015-03-10 17:59:07.269551000 +0100
+++ new/src/os/bsd/vm/os_bsd.hpp	2015-03-10 17:59:07.061573000 +0100
@@ -99,6 +99,7 @@
   static void set_page_size(int val)                                { _page_size = val; }
 
   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);