But, at least according to the documentation (I haven't tried), you are not allowed to upload a new version with the same filename.

My response to rje is not to worry too much. Even experienced authors sometimes make silly mistakes and upload files with something missing. Just delete the bad file and upload a new version.