Added Setup.lhs