Fix building on vxworks