Fix a bug in the debian:binary_packages task