Success!!! I just natively compiled and ran hello-world on a 712!!! I had to add milli.o by hand but that's not a difficult thing to fix. -P