Try selecting a different board from the Tools > Board menu, then restarting the Arduino environment. Or check for the "board" preference in preferences.txt and let us know what it is.
Try selecting a different board from the Tools > Board menu, then restarting the Arduino environment. Or check for the "board" preference in preferences.txt and let us know what it is.