Another fix for vxWorks 6.9