fix __init__.py for doing 'make html' on Linux/Mac &WindowsOS