Texas football got the coach they deserved