Hackery to hopefully give us -lcoqrun

For dpdgraphs on travis.