fix dangling symlink, as otherwise opam pin fails