make using /tmp for the debian folder configurable (but it remains the default)