[Ur] Trouble getting started. Link errors.

[Adam Chlipala]

I'm out of ideas.  If the problem can be replicated somewhere that I can 
access via SSH, I can take a stab at more interactive debugging.