fix file naming for automated creation of deb packages
fix another naming issue