nope, I just tried it again, didn't work. But it's no big deal.
If I publish it myself it works... so yeah, could be an engine related bug.
Oh, and to disable f5 you can just reset the event: on_f5 = NULL;
BUT, I strongly recommend you to not include default.c in a release version of a game... this enables the player to do lots of stuff ;P
btw. I always loved the worms games ( I'm still playing worms armageddon occasionally, although I own much newer ones
).
I actually wanted to try programming something like that myself... maybe I'll try