bash: use $HOME for dash/gnutools/make compatibility