update seeds because planetlab on ethz is down