Vincent Siles, Jun 2010:

Tested with the trunk version of Coq, and v8.3.

Please edit the Makefile to point to the right version of coqc