FIX: vxworks 6.9 compilation