Index: VirtualBox-5.1.2/src/VBox/Main/Makefile.kmk
===================================================================
--- VirtualBox-5.1.2.orig/src/VBox/Main/Makefile.kmk
+++ VirtualBox-5.1.2/src/VBox/Main/Makefile.kmk
@@ -1331,7 +1331,7 @@ $(VBoxAPIWrap_0_OUTDIR)/VBoxAPI.d.ts \
 	$(QUIET)$(VBOX_XSLTPROC) --stringparam KBUILD_HOST $(KBUILD_HOST) \
 		--stringparam generating "dtrace-probes" \
 		-o "$@" $(VBoxAPIWrap_VBOX_XSLT) $<
-	$(QUIET)$(SED) -e '' -o "$@.tmp" \
+	$(QUIET)$(SED) -e '' --output "$@.tmp" \
 		"$(VBOX_PATH_MAIN_SRC)/src-all/VBoxAPI-start.d" \
 		"$@" \
 		"$(VBOX_PATH_MAIN_SRC)/src-all/VBoxAPI-end.d"