Without this, successive invocations of `make install` would create a circular
symlink, contained in the source directory and pointing to it. This symlink
would confuse coq and result in verbose error messages, in particular with coq
8.6.