Fix problem with mysql install commands