Boards Manager?

It looks like this might be your problem:

The Arduino developer just pushed a fix for this, which should be in the hourly build of the Arduino IDE. You can download the hourly build here: