fix naming issue on case sensitive filesystems