Create config-vxworks6.5.h