[PATCH] Fix non-MULE Windows build