Update some old links
Merge pull request #91 from jcamenisch/patch-1

Update some old links