diff --git a/src/Makefile.in b/src/Makefile.in
index 6a7b934733c8b075e1069ae7a67d529a0dcd1be4..83a58e2653fbcbc1204107117e75762f4bfdaa21 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -89,7 +89,7 @@ bin/$(ECL): $(ECL_MIN) compile.lsp build-stamp $(top_srcdir)/h/*.h $(top_srcdir)
 	else \
 		ECLDIR=`pwd`/ ./$(ECL_MIN) compile; \
 	fi
-	if [ "x@SONAME@" != "x" -a -f "@SONAME@" -a "@SONAME@" != "@SONAME3@" ]; then \
+	if [ "x@SONAME@" != "x" -a -f "@SONAME@" -a "@SONAME@" != "@SONAME3@" -a ! -e "@SONAME3@" ]; then \
 	  ( mv @SONAME@ @SONAME3@ && \
 	    $(RM) -f @SONAME2@ @SONAME1@ @SONAME@ && \
 	    $(LN_S) @SONAME3@ @SONAME2@ && \