work around problem with synced_folders and case insensitive filesystems