diff -r 7e00c406d346 -r 754fa90c8b27 targets/__init__.py
--- a/targets/__init__.py	Fri Jan 16 22:09:28 2015 +0100
+++ b/targets/__init__.py	Sun Jan 18 19:41:27 2015 +0100
@@ -74,6 +74,6 @@
     return open(filename).read()
 
 def GetCode(name):
-    filename = path.join(path.split(__file__)[0],name + ".c")
+    filename = path.join(path.split(__file__)[0],name)
     return open(filename).read()