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 1a588f18ba Signed-off-by: Loic Dachary <loic@dachary.org>
1a588f18ba