ignore mysql history file