[Bug 935388] MariaDB does not start after upgrade to 10.0.13