add a patch against mysql 5.6 to fix that mysqld shutdown fails