convenience fix ups to the shell scripts ...