Use CVSFile.filename rather than CVSFile.get_filename().