The fact that the binary and the build description files are named identically is problematic if a directory that contains dune files happens to be in the PATH and the dune file happens to have the executable bit set (this can happen easily under Windows).

In order to mitigate this, what do you think about allowing to set the name of the dune files on a per-project basis? eg dunefile, etc.