Removed dependency on mirror.onelab.eu.