change default IVOA registry due to temporary problems