The binaries file name have changed and need to be updated in the packaging files for deb and rpm. Fix a few leftovers as well. Fixing 1a588f18ba0e57df64f8a48c1393a4bc65019571 Signed-off-by: Loic Dachary <loic@dachary.org>