Changes for debian-repo-5.71