Just in case anyone stumbles over this thread in the future, please see https://lists.debian.org/debian-project/2015/01/msg00021.html Richard