Fix problem with irb history file