archive-*.c: use the right repository