fixed link to lhs2TeX