Avoid a symlink for dune#952

Nadrieril merged 1 commit intoAeneasVerif:mainAeneasVerif/charon:mainfrom

Nadrieril:remove-symlink-for-duneNadrieril/charon:remove-symlink-for-duneCopy head branch name to clipboard