switching mariadb mirror to hosteurope, their archive server is too slow