[web2py] Re: 1.91.4 error reading version file

[reyelts]

Both downloads were done using Linux, which wouldn't be playing around
with the names like Windows. The downloads were done to a clean/empty
directory, so no infection from a prior file, either.