Allow the source to be used on non-arduino boards, such as the ChipKIT MAX32