fix build for Tiva C + Energia