Wow, this is a weird problem. Sorry for a late posting.
Did his program run OK from the editor?
Have you proof-read his program? Perhaps he has done something that doesn't cause a compile time error, but a run-time error. I'm still quite noob to DBC, so cannot think of any way to cause one, but its probably possible to.
When you right-click the exe's icon and choose "Properties" is the file size at around 1,823,205 bytes or more? I think the minimum exe size produced by DB is 1.73MB because your exe contains the entire DB features,even if you don't use them. Anyway, if the exe's file size is zero or a really small amount then your file might be broken. If it is too small then I would delete the file and try Build Final again.
Other than, I wouldn't know what else to suggest. I'm surprised that none of the experienced people here have had any ideas on this one though