Some tools I wrote for Linux