Various tools for Linux plumbing