I think I've got it working. Apologies for the false alarm.
I was missing freeglut, which appears to be necessary. I also didn't
realize that the best way to get the files was with darcs CVS; instead
I was just grabbing them with wget. So retrieving the files the
correct way seemed to help, too.
On Tue, Feb 25, 2014 at 3:51 PM, Paul Davis wrote: