renames in allen files