Fix debian building where $HOME is read-only.
Merge debian packaging fixes, again.