more stable way to disable bash history