Fix debian building where $HOME is read-only.