I'm using the hardware wutg tge cc2431zdk. The chips came preprogrammed with hex files that work with the Z Location Engine. Can I find the source files for these hex files anywhere?