to make git-pbuilder happy, to be later removed