Remove a TODO from glprocs.hh