diff -ru ../libpsm2-11.2.86.orig/Makefile ./Makefile
--- ../libpsm2-11.2.86.orig/Makefile	2019-10-03 21:00:29.000000000 -0500
+++ ./Makefile	2020-07-13 13:55:53.994452919 -0500
@@ -164,7 +164,8 @@
 # The DISTRO variable is used subsequently for variable
 # behaviors of the 3 distros.
 
-DISTRO := $(shell . /etc/os-release; echo $$ID)
+# Use DISTRO from the environment
+# DISTRO := $(shell . /etc/os-release; echo $$ID)
 
 # By default the following two variables have the following values:
 LIBPSM2_COMPAT_CONF_DIR := /etc