Fix bug in mysql install