Update the platform for arduino 1.5.7