Debian-related fixes.

No systemd means no /etc/*-release, and this git isn't new enough for
push.default=simple.