Undo stupid windows file permissions change on rundemo.py