fixed version-number for manager-deb-file