Limited scope of  workaround for Debian package install race