use githubredir.debian.net to fix filename issue