diff --git a/common/environment/setup/install.sh b/common/environment/setup/install.sh
index 8ceaefd1a24..f9772e03854 100644
--- a/common/environment/setup/install.sh
+++ b/common/environment/setup/install.sh
@@ -59,6 +59,14 @@ _vman() {
 
 	suffix=${target##*.}
 
+	if [[ $suffix == gz ]]
+	then
+		gunzip "$file"
+		file="${file:0:-3}"
+		target="${target:0:-3}"
+		suffix=${target##*.}
+	fi
+
 	if  [[ $target =~ (.*)\.([a-z][a-z](_[A-Z][A-Z])?)\.(.*) ]]
 	then
 		name=${BASH_REMATCH[1]}.${BASH_REMATCH[4]}