file ext need to be flexible to accept mixed case

GitHub Issue: #7 State: open Labels: bug, frontend

Description

Migrated from deprecated-nagelfluh #8 (originally by @burningsage)

No description provided.