Fix the python3 directory so scripts work on Win32#6472

earlephilhower merged 2 commits intoesp8266:masteresp8266/Arduino:masterfrom

earlephilhower:fixp3earlephilhower/Arduino:fixp3Copy head branch name to clipboard