renamed all occurrences of MySQL to MariaDB