Make bash history behave correct with multiple bash sessions