These symbolic links cause issues on Cygwin, and they are no longer needed
anway since Dune already copies the files to the right place.