Another sanity check on filename for GitHub issue #72