Minor changes to shell scripts.