Whoops...

The previous hotfix accidentally included a duplicate executable, increasing the file size unecessarily (but having no other impact). This just removes that file.

I should probably slow down...