Installing from scratch inside a 64-bit Debian stretch chroot
is revealing more issues. In principle, this will also help
with the Docker and Vagrant installs.