For some reason, I believed that the source dir containing the main program need to be named bin for dune to work smoothly. But actually, it seems to work fine with src, so let's go for it.