chmod +x Setup.lhs