Avoid running debian/Setup.hs twice