Some fixes to Windows command lines.