In fact, this script is missing some things we might like it to have (e.g., making sure we're really in the right directory).