make using /tmp for the debian folder configurable (but it remains the default)
-rw-r--r-- 18092 COPYING
-rwxr-xr-x 17796 auto_debuild.py