用MySQL代替MariaDB?

Basically I want to know where I can find a distribution of XAMPP that uses good ol' MySQL instead of MariaDB. I have a Drupal site that runs fine on MySQL 5.5.16, but when I run it on MySQL 10.1.0-MariaDB (which was what the newer XAMPP I downloaded came with), I can't clear the caches without it corrupting the database. I know MariaDB is supposedly the same as MySQL, but this error is happening with one and not the other, and nothing else is different. Where can I get that distribution?Basically I want to know where I can find a dis