server-tools/instance-manager/options.cc:
  remove [mysql] group from the list of the groups read by the mysqlmanager (resulted from wrong merge long ago)