runtime: more stuff for python symbol errors