is what you want for the VEX board.
Let me recommend that you visit the:
WPI Lib for VEX/FRC site and grab that library. It will make your programming about 1000 times easier. There are full instructions on how to make it work with MPLabs.
The Microchip compiler / linker is very fussy when it comes to path names, etc. in the setup.
Keep us posted on how you make out.