Define DEBUG for tivaware.