Do not use RENAME INDEX syntax for MariaDB 10.0

Fixes #15931.
I think I'd personally prefer this as `if mariadb?; false; else; (....); end` (on multiple lines, obviously)... the early exit doesn't feel right to me.