diff --git a/library/server/wsf/default/cgi/default_service_launcher.e b/library/server/wsf/default/cgi/default_service_launcher.e
index d92e0099..53d7379e 100644
--- a/library/server/wsf/default/cgi/default_service_launcher.e
+++ b/library/server/wsf/default/cgi/default_service_launcher.e
@@ -24,7 +24,8 @@ inherit
 	WSF_SERVICE
 
 create
-	make_and_launch
+	make_and_launch,
+	make_and_launch_with_options
 
 feature {NONE} -- Initialization
 
diff --git a/library/server/wsf/default/libfcgi/default_service_launcher.e b/library/server/wsf/default/libfcgi/default_service_launcher.e
index 94c2d08d..70b5e7f3 100644
--- a/library/server/wsf/default/libfcgi/default_service_launcher.e
+++ b/library/server/wsf/default/libfcgi/default_service_launcher.e
@@ -24,7 +24,8 @@ inherit
 	WSF_SERVICE
 
 create
-	make_and_launch
+	make_and_launch,
+	make_and_launch_with_options
 
 feature {NONE} -- Initialization