I select that board type and compiled just fine. Perhaps you need to uninstall and reinstall the Arduino IDE.