[PD-dev] [ pure-data-Patches-1412210 ] fix for bug in menu_openhtml on Windows