I installed the more recent version of debpool to manage the archive, source orig tarballs will be needed just once, starting from now... -- Francesco P. Lovergine