Auxiliary shell scripts