subversion: use archive URL until we move to 1.8.1