I just picked up an Arduino 101 and tried to run a sketch a bit more complicated than blink... First off - I get an error trying to load Board Support via the Arduino Board Manager to 1.0.5 because of this error: ``` Error downloading https://github.com/01org/corelibs-arduino101/archive/1.6.4+1.68.zip ``` That's pointing to this repo.... and to a file that does not exist. Any ideas on how to fix this?