check in Setup.lhs