Thanks for all the work. I moved ~/.arduino15 somewhere else and started over, and this does indeed fix the build problems.
The connection problem is still there though : both the Serial Monitor in the IDE, and the upload process can't attach to my ESP-8266 systems.
Danny
Using library ESP8266WiFi at version 1.0 in folder: /home/danny/.arduino15/packages/esp8266/hardware/esp8266/2.0.0/libraries/ESP8266WiFi
Using library ESP8266mDNS in folder: /home/danny/.arduino15/packages/esp8266/hardware/esp8266/2.0.0/libraries/ESP8266mDNS (legacy)
Using library ArduinoOTA at version 1.0 in folder: /home/danny/.arduino15/packages/esp8266/hardware/esp8266/2.0.0/libraries/ArduinoOTA
Sketch uses 222,940 bytes (21%) of program storage space. Maximum is 1,044,464 bytes.
Global variables use 34,466 bytes (42%) of dynamic memory, leaving 47,454 bytes for local variables. Maximum is 81,920 bytes.
python /home/danny/.arduino15/packages/esp8266/hardware/esp8266/2.0.0/tools/espota.py -i 192.168.1.101 -p 8266 -f /tmp/build50532c4e1e6a0ddaa4ec9763ed22b24e.tmp/MyOTALeds.ino.bin
Authenticating...FAIL
20:15:01 [ERROR]: No Answer to our Authentication
python /home/danny/.arduino15/packages/esp8266/hardware/esp8266/2.0.0/tools/espota.py -i 192.168.1.101 -p 8266 -f /tmp/build50532c4e1e6a0ddaa4ec9763ed22b24e.tmp/MyOTALeds.ino.bin
20:15:19 [ERROR]: No Answer