diff -r 90595d1c1017 -r 43ace4bb005e scripts/showTuple.sh.in
--- a/scripts/showTuple.sh.in	Thu May 19 22:29:49 2011 +0200
+++ b/scripts/showTuple.sh.in	Wed Sep 26 16:37:31 2012 +0200
@@ -4,7 +4,7 @@
 #  - the .config file
 
 # Parse the tools' paths configuration
-. "${CT_LIB_DIR}/paths.mk"
+. "${CT_LIB_DIR}/paths.sh"
 
 # We'll need the stdout later, save it
 exec 7>&1