More file renames for Linux