I also wish #Dafny did not pollute the source directory by default... please use a 'build' dir... you can emulate for executables but not for individual files in a project...