Fix vxworks static builds