travis: MariaDB 10.0.1 was supported!