Update mysql_installation.sh