On Tue, Jun 12, 2018 at 2:28 PM, Ludwin Janvier wrote: > * use tarball, remove stuff & build This seems simplest. -- bye, pabs https://wiki.debian.org/PaulWise