TivaWare update 8/15/13