For future reference (if anyone else is running into this issue); the problem was solved by installing the latest version of ROBOTC for VEX 4.0 from the ROBOTC downloads page: http://www.robotc.net/download/vexrobotics/
If the latest version is installed already, an uninstall/reinstall of ROBOTC should also fix the problem.
Check out our Blog
! And our Facebook page
Need help? Take a look at our updated help documentation
and the ROBOTC Forums.