Avoid Ubuntu mirror hangs in Linux release builds (#4314)