Remove -lcoqrun hackery

This closes #335.