fix runtime.py filename case to avoid problem on multi-platform

2009-09-18, greg