I am assuming Dev O forgot to change the name of the wallet. I'll check and get back to you ASAP!

EDIT: Yes, the file NAME is a typo. The version is still 0.8.7.1. I will update the file names online and will let you know when that's done. Otherwise, feel free to use the new wallet with KGW!

Best,
Aether