Update debian file to install Pithos tools