Fixed workaround for Debian package install race