diff --git a/dist-build/Makefile.am b/dist-build/Makefile.am
index 8cec3187..52c67545 100644
--- a/dist-build/Makefile.am
+++ b/dist-build/Makefile.am
@@ -2,7 +2,7 @@
 EXTRA_DIST = \
 	android-build.sh \
 	android-arm.sh \
-	android-armv7.sh \
+	android-armv7-a.sh \
 	android-x86.sh \
 	android-mips32.sh \
 	emscripten.sh \
diff --git a/dist-build/android-armv7.sh b/dist-build/android-armv7-a.sh
similarity index 100%
rename from dist-build/android-armv7.sh
rename to dist-build/android-armv7-a.sh