gingr 1.0.1: Fix app file name
Merge pull request #7664 from sjackman/gingr

gingr 1.0.1: Fix app file name