fix version being incorrect

compilation.sh

@@ -11,7 +11,7 @@ touch $version_file
 
 # clone and check whether it's up-to-date
 cd $workdir
-git clone --recursive https://github.com/2IMT/polycat.git --depth 1 --shallow-submodules
+git clone https://github.com/2IMT/polycat.git
 cd ./polycat/
 # check version
 version=$(printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short=7 HEAD)")
@@ -19,6 +19,9 @@ if grep -q $version $version_file; then
     echo "already up to date, exiting"
     exit
 fi
+# get the submodules since it needs to be updated
+git submodule update --init --depth 1
+
 
 # compilation
 cd $workdir/polycat/