Fix vxworks makefile