Add a patch from Josh Zenker for bash highlight