new debian packages: 0.8.9.4-3