now works with coq trunk patched

The patched version of the trunk branch of the coq git repository
is available here:
https://github.com/DanGrayson/coq/commit/f23efe49ae9a806f5a510448897935e9ac56445b