I just tried it by removing old devkit and following your instructions works great on Arduino 1.8.2 Linux 64 bit.