bin scripts I keep in $HOME/bin to do various things