This should have been obvious, but somehow it slipped, and it turns into a bug with an Ubuntu (and likely Debian) minimal install. Full report in #513