Hast du denn auch die selbe Lösung wie im anderen Thema probiert? Also hast du die Datei platform.local.txt wie auf Github beschrieben plaziert und danach die Arduino IDE neu gestartet?
Grundsätzlich ist es auf jeden Fall leichter das online-upload auf tonuino.de oder PlatformIO zu verwenden