whonix-repository tool: fix, clean up temporary directory
control-port-filter: fix, clean up temporary directory
.