Don't use the default Ubuntu mirror in Docker