Bug fix: unserialize() returns incorrect value (Issue #382)
Fix filenames for case-sensitive systems