88c1a817fd
This reverts commit ef725f0ff8.
The update never worked, but noone's checked that
(because auto-update that doesn't verify even building).