Fixed a bug that caused filename input filtering to be case-sensitive.
Merge pull request #10 from jgibson/master

Fixed a bug that caused filename input filtering to be case-sensitive.