i need a minimal tex installation for lhs2tex to compile, so let us just go with that