Bug fixes in the MySQL installation script.