windows port: removed htmlhelp, sing_win.*