I guess we could put the mirror in a public hosting, such as: http://repo.or.cz/ so that it's more reliable. -- Bean