--- Makefile.orig	2019-12-16 09:29:00.000000000 +0000
+++ Makefile	2020-09-10 02:23:30.000000000 -0500
@@ -1,14 +1,13 @@
 # simple makefile wrapper to run waf
 
-WAF_BIN=`PATH=buildtools/bin:../../buildtools/bin:$$PATH which waf`
-WAF_BINARY=$(PYTHON) $(WAF_BIN)
+WAF_BINARY=$(PYTHON) buildtools/bin/waf
 WAF=PYTHONHASHSEED=1 WAF_MAKE=1 $(WAF_BINARY)
 
 all:
 	$(WAF) build
 
 install:
-	$(WAF) install
+	$(WAF) install --destdir=$(DESTDIR)
 
 uninstall:
 	$(WAF) uninstall