update to mysql 5.6.19