Fix a few /home/... paths accidentally added to the repo.