avr/boardes.txt is blank. Boards Manager method installs but Arduino only show a drop down list with no items.