Fix mysql install script