ESP8266 compilation problem - no more ideas (SOLVED - COMODO PROBLEM)

then reinstall the boards package. install a different version in Boards Manager. then you can install back the 3.01

(reinstalling the IDE doesn't touch the boards packages)