I am having issues with the pin_change_int example. I have not changed anything to the code, but it will not load onto my board. In fact, pressing load in this project doesn't even erase the flash because when I try to load it, the same old program keeps running. If I manually clear the flash and then try to load, it says it loaded successfully, but nothing works (I'm assuming LED1 is supposed to turn on when BUTTON1 is pressed).