I just removed this in master, it isn't used any more.