Replace outdated debian packages by binaries