ignore tramp connection history file