Fix missing includes in vxworks projects