Fix shutdown to work with servers before MariaDB 10.