Fixes compilation with GCC10. Added random mirror since the normal website has issues at this time. Signed-off-by: Rosen Penev <rosenp@gmail.com>