diff --git a/install-php-extensions b/install-php-extensions
index c63bd93..7f92763 100755
--- a/install-php-extensions
+++ b/install-php-extensions
@@ -1845,8 +1845,6 @@ installRemoteModule() {
 			if test -z "$installRemoteModule_version"; then
 				if test $PHP_MAJMIN_VERSION -lt 700; then
 					installRemoteModule_version=3.12.4
-				else
-					installRemoteModule_version=3.13.0
 				fi
 			fi
 			;;