Fix filename for case-sentitive environment; should fix #3