WIP: More Windows-compatible#413

gustaphe wants to merge 3 commits intoopen-research:masteropen-research/sumatra:masterfrom

gustaphe:mastergustaphe/sumatra:masterCopy head branch name to clipboard