A more generic fix for activate.bat/deactivate.bat on Windows