diff --git a/buildserver/provision-android-ndk b/buildserver/provision-android-ndk
index e2a9a651..8e9724bc 100644
--- a/buildserver/provision-android-ndk
+++ b/buildserver/provision-android-ndk
@@ -14,8 +14,7 @@ if [ ! -e $NDK_BASE/r10e ]; then
     mv android-ndk-r10e r10e
 fi
 
-for f in /vagrant/cache/android-ndk-r[1-9][0-9]*-linux-x86_64.zip; do
-    version=`echo $f |sed  's,.*\(r[1-9][0-9][a-z]\?\).*,\1,'`
+for version in r11c r12b r13b r14b r15c r16b; do
     if [ ! -e ${NDK_BASE}/${version} ]; then
         unzip /vagrant/cache/android-ndk-${version}-linux-x86_64.zip > /dev/null
         mv android-ndk-${version} ${version}