various tools and scripts