fix path for vxworks

Signed-off-by: Ian Bell <ian.h.bell@gmail.com>