Hello, I just installed Arduino 1.6.7 and Teensyduino 1.27 on 10.11. I selected to install all libraries but for some reason I see almost none of them. Any reason for this ?