The files are included in the VEX SDK, which is closed source, even with vexide. These files are required to recompile the firmware after any changes are made, such as the vision sensor API. This thread outlines it more thoroughly.
2 Likes