diff --git a/build_tools/download_externals b/build_tools/download_externals
index 2bc357c2989aa32efcaff129f77f2ebeb57ec1bd..d2e2e4fffa3b72f0d7b4b119c8573a43171c2335 100755
--- a/build_tools/download_externals
+++ b/build_tools/download_externals
@@ -45,11 +45,11 @@ if [[ -z ${cache_dir} ]] ; then
 fi
 
 version=$(${ASTTOPDIR}/build_tools/make_version ${ASTTOPDIR})
-if [[ ! ${version} =~ ^(GIT-)?([^.-]+)[.-].* ]] ; then
+if [[ ! ${version} =~ ^(GIT-)?(certified/)?([^.-]+)[.-].* ]] ; then
 	echo "${module_name}: Couldn't parse version ${version}"
 	exit 1
 fi
-major_version=${BASH_REMATCH[2]}
+major_version=${BASH_REMATCH[3]}
 
 if [[ "${major_version}" == "master" ]] ; then
 	echo "${module_name}: External module downloading is not available in the 'master' git branch.  Please disable in menuselect and download manually."