Fix library so that it works with the newest coq

Closes #152