Bugfix in bash-preexec