fix __init__.py for doing 'make html' on WindowsOS