FIX: vxworks 6.9 support