After installing Arduino IDE version 1.6.5r4, Teensyduino ver. 1.24 does not recognize the version during installation. The supported version appears to be 1.6.5r2. If I change the version number in version.txt file the installation proceeds a bit farther but crashes on a checksum error.