various tools, mostly shell-scripts