use a secondary server at onelab to download sources