diff -r 458facedc485 -r 37968404e9b9 config/global.in
--- a/config/global.in	Sat Jul 19 21:22:58 2008 +0000
+++ b/config/global.in	Fri Jul 25 14:08:03 2008 +0000
@@ -3,10 +3,10 @@
 menu "Paths and misc options"
 
 source "config/global/ct-behave.in"
+source "config/global/paths.in"
 source "config/global/download.in"
 source "config/global/extract.in"
 source "config/global/build-behave.in"
-source "config/global/paths.in"
 source "config/global/logging.in"
 
 endmenu