Minor: use new update of MySQL (old not available)