Fix HTML release builds under the new tool in Windows.