update naming of os-dependent files