Add simple workaround for #1755 to contrib/mkimage-debian.sh