Fix bash eternal history\!