Machado, Guilherme de Vasconcellos, Tribunal de Contas da União