Make file extension case insensitive as suggested in issue #5