update debian/install_mysql.sh: use version 5.6.20