added a few shell scripts for convenience