If we keep changing it to address these reports then the naming will never be consistent and we will keep getting reports of naming inconsistencies since the file we fixed for you will now be broken for someone else. Therefore, we will leave it as is.
It should be simple enough to rename the file on whatever device you have downloaded it to. Or download it again and delete the old file with the undesired name. If anyone needs technical assistance with that feel free to email
info@sjgames.com with your login name and device info and I'll be happy to help you.