Correctly set $HOME since docker doesn't do it by default