[TEMPORARY] use known working download mirror - fau.de seems to have issues today