diff -r 90595d1c1017 -r e974315d1e4c scripts/showTuple.sh.in
--- a/scripts/showTuple.sh.in	Thu May 19 22:29:49 2011 +0200
+++ b/scripts/showTuple.sh.in	Sun Jan 29 22:44:09 2012 +0100
@@ -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