--- a/kernel/make.py	Fri Dec 13 14:10:10 2013 +0100
+++ b/kernel/make.py	Mon Dec 16 12:49:24 2013 +0100
@@ -2,10 +2,9 @@
 
 import sys
 import os
-sys.path.insert(0, os.path.join('..', 'python'))
 import zcc
 
-def make():
+def make_kernel():
     arglist = ['memory.c3', 'kernel.c3', 'syscall.c3', 'process.c3']
     arglist += ['schedule.c3', 'arch_arm.c3']
     arglist += ['--target', 'arm']
@@ -16,4 +15,5 @@
     zcc.main(args)
 
 if __name__ == '__main__':
-    make()
+    sys.path.insert(0, os.path.join('..', 'python'))
+    make_kernel()