Re: RobotC hex files location?
I'm just running the RobotC in WINE. There's a fellow named Michael Collin's who came up with a Perl package that allows you to communicate with NXT by USB or bluetooth. I have to admit that it's actually several of my students that set things up, but I believe I saw them communicate with NXT with RobotC firmware loaded via the Perl package in Linux.
Here's the link to the Perl packages by Michael Collin's:http://search.cpan.org/~collins/
The nice thing about Collin's package is that it does allow for direct control of the NXT. So, possibly there might be something in there that could help you (and the rest of us).
Also, I've read discussions about using this code that let's you communicate with NXT from Linux through Bluetooth:http://www.quietearth.us/nxtlibc.htm
The person who wrote nxtlibc says that they were able to learn a few tricks from Collin's so possibly there is some value in looking at the work of these folks.
If you do find a way to produce a HEX file, I would definitely be interested.