stuff for bash on Ubuntu