implement rename_index natively for MySQL > 5.7