Merging of https://github.com/GEOSX/thirdPartyLibs/pull/81 and https://github.com/GEOSX/GEOSX/pull/647 makes https://github.com/GEOSX/dockerBuilds and docker registry https://hub.docker.com/r/geosx/compiler useless. They shall be deleted. Probably waiting a few days (maybe 1 or 2 weeks) to be sure that nothing is wrong would be wise. https://hub.docker.com/r/geosx/ubuntu18.04-gcc7, https://hub.docker.com/r/geosx/centos7.5.1804-clang7.0.0 and https://hub.docker.com/r/geosx/centos7.5.1804-clang6.0.1 are made useless by https://github.com/GEOSX/GEOSX/issues/808 too.