Adjust paths for case-sensitive systems (ubuntu)

Fixes #7