diff -r 3dfbd0b91950 -r 4cfaa02055cd Makefile
--- a/Makefile	Sat Jan 22 11:06:11 2022 +0100
+++ b/Makefile	Sat Jan 22 19:13:40 2022 +0100
@@ -53,3 +53,5 @@
 install: all
 	cd make; $(MAKE) -f install.mk install
 
+install-bin: all
+	cd make; $(MAKE) -f install.mk install-bin