bugfix of mysql ini_repl