fixed MySQL config file, no visible change to repository