How do I best run zeo under windows ? When I use mkzeoctrl.py as I do under linux, only a runzeo file is generated which can not be used under windows. thanks robert