Fri, 18 Sep 2009 14:58:22 +0200 greg fix runtime.py filename case to avoid problem on multi-platform