aida/tools/aida-evaluation: docker make build fails

[dangiankit]

In aida/tools/aida-evaluation/docker, on the AIDAED-v2020.2.0 branch, when make build is run, it may occassionally cause the following error:

Get:126 http://archive.ubuntu.com/ubuntu bionic-updates/main amd64 libxcb1-dev amd64 1.13-2~ubuntu18.04 [80.0 kB]
Err:127 http://archive.ubuntu.com/ubuntu bionic-updates/main amd64 libx11-dev amd64 2:1.6.4-3ubuntu0.2
  404  Not Found [IP: 91.189.88.142 80]
Err:128 http://archive.ubuntu.com/ubuntu bionic-updates/main amd64 libx11-doc all 2:1.6.4-3ubuntu0.2
  404  Not Found [IP: 91.189.88.142 80]
Get:129 http://archive.ubuntu.com/ubuntu bionic/main amd64 libxt-dev amd64 1:1.1.5-1 [395 kB]
Get:130 http://archive.ubuntu.com/ubuntu bionic-updates/universe amd64 openjdk-8-jre amd64 8u265-b01-0ubuntu2~18.04 [69.6 kB]
Get:131 http://archive.ubuntu.com/ubuntu bionic-updates/universe amd64 openjdk-8-jdk-headless amd64 8u265-b01-0ubuntu2~18.04 [8262 kB]
Get:132 http://archive.ubuntu.com/ubuntu bionic-updates/universe amd64 openjdk-8-jdk amd64 8u265-b01-0ubuntu2~18.04 [1610 kB]
Fetched 79.6 MB in 5s (15.3 MB/s)
Unable to correct missing packages.
E: Failed to fetch http://security.ubuntu.com/ubuntu/pool/main/n/nss/libnss3_3.35-2ubuntu2.11_amd64.deb  404  Not Found [IP: 91.189.88.142 80]
E: Failed to fetch http://archive.ubuntu.com/ubuntu/pool/main/libx/libx11/libx11-xcb1_1.6.4-3ubuntu0.2_amd64.deb  404  Not Found [IP: 91.189.88.142 80]
E: Failed to fetch http://archive.ubuntu.com/ubuntu/pool/main/libx/libx11/libx11-dev_1.6.4-3ubuntu0.2_amd64.deb  404  Not Found [IP: 91.189.88.142 80]
E: Failed to fetch http://archive.ubuntu.com/ubuntu/pool/main/libx/libx11/libx11-doc_1.6.4-3ubuntu0.2_all.deb  404  Not Found [IP: 91.189.88.142 80]
E: Aborting install.
The command '/bin/sh -c apt-get install -y --fix-missing openjdk-8-jdk' returned a non-zero code: 100
Makefile:25: recipe for target 'build' failed
make: *** [build] Error 100