added mysql_read_default_file and set_names option