More work on python runtime