you should download the - Arduino 1.5.2 - version on the download page - it is the second one NOT the top download