Fixes in mysql other install script