Do not use RENAME INDEX syntax for MariaDB 10.0

Fixes #15931.
This memoization doesn't seem terribly helpful... it only saves us a regexp match, and only if we *are* on MariaDB.