Explicitly set $HOME in Makefile.top so that the tilde expands to the proper root directory.