$OpenBSD: patch-Makefile_build,v 1.2 2013/02/07 09:43:15 chrisz Exp $
--- Makefile.build.orig	Mon Oct 29 15:46:37 2012
+++ Makefile.build	Sat Feb  2 18:06:08 2013
@@ -612,7 +612,7 @@ install-binaries:: install-$(BEST)  install-tools
 
 install-byte::
 	$(MKDIR) $(FULLBINDIR)
-	$(INSTALLBIN) $(COQMKTOP) $(COQC) $(COQTOPBYTE) $(CHICKEN) $(FULLBINDIR)
+	$(INSTALLBIN) $(COQMKTOP) $(COQC) $(COQTOPBYTE) $(CHICKEN) $(CHICKENBYTE) $(FULLBINDIR)
 	cd $(FULLBINDIR); $(LN) coqtop.byte$(EXE) coqtop$(EXE); $(LN) coqchk.byte$(EXE) coqchk$(EXE)
 
 install-opt::
