diff --git a/config/options b/config/options
index c52297c1d0..7bd577b794 100644
--- a/config/options
+++ b/config/options
@@ -18,7 +18,7 @@ ROOT=`pwd`
 PROJECT_DIR="$ROOT/projects"
 
 # include versioning
-  . ./VERSION
+  . config/version
 
 # read project options if available
  if [ -f "$PROJECT_DIR/$PROJECT/options" ]; then
diff --git a/VERSION b/config/version
similarity index 100%
rename from VERSION
rename to config/version