Merge branch '1422_remove_gnu_specific'

* 1422_remove_gnu_specific:
  maint/version.sh: added quoting guards file variables
  Remove GNU specific option from version.sh

maint/version.sh

@@ -12,9 +12,9 @@ VERSION_FILE="${src_top_dir}/version.h"
 PREV_MC_VERSION="unknown"
 CURR_MC_VERSION="${PREV_MC_VERSION}"
 
-if [ -r ${VERSION_FILE} ]
+if [ -r "${VERSION_FILE}" ]
   then
-    PREV_MC_VERSION=`sed -rn 's/^#define MC_CURRENT_VERSION "(.*)"$/\1/p' "${VERSION_FILE}"`
+    PREV_MC_VERSION=`sed -n 's/^#define MC_CURRENT_VERSION "\(.*\)"$/\1/p' "${VERSION_FILE}"`
     CURR_MC_VERSION="${PREV_MC_VERSION}"
 fi