Simple collection of tools for our Raspberry Pi (erwin), running Debian