Linux fixes

Fixes Issue #16
Bumps version to 1.3.0
Removes gratuitous case mangling on the case-sensitive Linux, since that's not wise