Fix the make test problem Karolin reported. Now rename_open_files actually works...