diff --git a/distrib/Makefile b/distrib/Makefile
index ee1b962f79d00302b2c832da8ce87395ff0b2973..3cbacc21e3ee782ebea60f70f56c34bb3e3b3f5d 100644
--- a/distrib/Makefile
+++ b/distrib/Makefile
@@ -25,6 +25,7 @@ install::
 	$(MAKE) -C rts       install DOING_BIN_DIST=YES
 	$(MAKE) -C libraries install DOING_BIN_DIST=YES
 	$(MAKE) -C compiler  install DOING_BIN_DIST=YES
+	$(INSTALL_DATA) $(INSTALL_OPTS) extra-gcc-opts $(libdir)
 
 install :: install-docs postinstall denounce