Do not use RENAME INDEX syntax for MariaDB 10.0

Fixes #15931.