Editing File: /usr/include/mysql/server/private/sql_rename.h