I had a separate problem not related to this report. lsb-release was not returning the distribution ID because of a mistake in a non-Debian package installation.