OK, maybe the package-restore problem was my own stupid fault. Still, I've committed the binaries now.