The generated comment in the dune-project file wasn't good. Also generate it in the workdir instead of the output dir instead.