Add debugging code to debian/Setup.hs