fix some file names (invisible to mac os)