For this year's x86_64, which Debian should I use? According to https://wiki.debian.org/DebianReleases, I'd say Wheezy (end of life 2018), but if you think that will be too troublesome in real life, feel free to use older. You (and others here, I expect) would know better than me ... --thanks, karl.