Drop automatic lazy pull

This would be hard to do now with chroot. Also I think it's better
to require a pull so that everything is updated together and
hence more likely to work.