Problem Statement/Rationale

On the download page, many systems and architectures are listed for download. 

For RedHat / CentOS 8, the only architectures now available for tools v100.10.0 are ppc64le and s390x.

This was not a problem with previous versions of the tools.

Steps to Reproduce

Go to downloads page.

Expected Results

Have RHEL 8 x86_64 build available for download.

Actual Results

Distribution / architecture combination is not available.

Additional Notes

Any additional information that may be useful to include.