ksh in python