Some tools for working with GGZ files