$HOME is set to home of the user running `sudo make install` -- should `~dokku` be used here instead?