diff -r 90595d1c1017 -r bcfcd68a4e0d scripts/showTuple.sh.in
--- a/scripts/showTuple.sh.in	Thu May 19 22:29:49 2011 +0200
+++ b/scripts/showTuple.sh.in	Sat Oct 13 18:26:26 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