Update debian.ini

More debian/ubuntu specific precompiled packages.