Include tools in the debian package