Fix a filename matching bug.
Increase version.