Different names for default and thin builds

Thin builds are now named with _thin in the name of the file for differentiation.

build.sh

@@ -11,7 +11,7 @@ cd ..
 #  .sh  : a shell script.
 thin_arg=$1
 if [[ $thin_arg == "thin" ]]; then
-  7za a -tzip ../ZMemory.pk3 -r -x\!*.sh -x\!acs/.gitignore -xr\!acs_source
+  7za a -tzip ../ZMemory_thin.pk3 -r -x\!*.sh -x\!acs/.gitignore -xr\!acs_source
 else
   7za a -tzip ../ZMemory.pk3 -r -x\!*.sh -x\!acs/.gitignore
 fi