I redid some things on my computer, and had to re-install the Arduino IDE. After doing so, I get the following error when trying to verify/upload. I have tried using the manual install instructions in the wiki, and the automated installer, same results. Neither way does this file get installed.
Cannot run program "C:\Program Files (x86)\Arduino/hardware/tools/g++_arm_none_eabi/bin/arm-none-eabi-g++": CreateProcess error=2, The system cannot find the file specified.