Instead of patching the generated `Makefile.coq`, we can simply set
`$HOME` in `Makefile.coq.local`.