Handle filenames for minor release versions, eg, 14.12.10.1

This change supports the latest stable release, 14.12.10.1