ESP32: Outdated version keeps being downlaoded?