Added wrs-vxworks-headers as dependency