distro: use vault.centos.org instead of ftp.riken.co.jp.