diff --git a/ompi/mpi/c/profile/Makefile.am b/ompi/mpi/c/profile/Makefile.am
index 5010e34ea3..a57d2a0ad8 100644
--- a/ompi/mpi/c/profile/Makefile.am
+++ b/ompi/mpi/c/profile/Makefile.am
@@ -355,7 +355,7 @@ nodist_libmpi_c_pmpi_la_SOURCES = \
 $(nodist_libmpi_c_pmpi_la_SOURCES):
 	if test ! -r $@ ; then \
 		pname=`echo $@ | cut -b '2-'` ; \
-		ln -s $(top_srcdir)/ompi/mpi/c/$$pname $@ ; \
+		$(LN_S) $(top_srcdir)/ompi/mpi/c/$$pname $@ ; \
 	fi
 
 # Conditionally install the header files
diff --git a/ompi/mpi/f77/profile/Makefile.am b/ompi/mpi/f77/profile/Makefile.am
index e53af582a1..40fc802d63 100644
--- a/ompi/mpi/f77/profile/Makefile.am
+++ b/ompi/mpi/f77/profile/Makefile.am
@@ -334,7 +334,7 @@ nodist_libmpi_f77_pmpi_la_SOURCES = \
 $(nodist_libmpi_f77_pmpi_la_SOURCES):
 	if test ! -r $@ ; then \
 	    pname=`echo $@ | cut -b '2-'` ; \
-	    ln -s $(top_srcdir)/ompi/mpi/f77/$$pname $@ ; \
+	    $(LN_S) $(top_srcdir)/ompi/mpi/f77/$$pname $@ ; \
 	fi
 
 # Conditionally install the header files