Following up on #3231
Note that newer versions of the IDE can still be made to support compilation for the older boards.