made extensions case-insensitive

Fixes #20