Fix http://bugs.debian.org/755022 (now uses https)