fix VxWorks again

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