Is there a particular reason you're using Arduino IDE 1.5.7? That is a very outdated version that was only ever considered a beta.
Is there a particular reason you're using Arduino IDE 1.5.7? That is a very outdated version that was only ever considered a beta.