convert to .py format