Index: cpu_timer.cpp
===================================================================
--- cpu_timer.cpp	(Revision 56628)
+++ cpu_timer.cpp	(Revision 56629)
@@ -26,7 +26,9 @@
 #   include <windows.h>
 # elif defined(BOOST_POSIX_API)
 #   include <unistd.h>
-#   include <sys/times.h>
+#   if !defined(__VXWORKS__)
+#     include <sys/times.h>
+#   endif
 # else
 # error unknown API
 # endif