xmlto: change ftp download mirror url