Changed (downgraded) Debian package numbers.