Create config-vxworks.h