fixes #152, making extensions case-insensitive