export.py to be used with command line platon in windows