Use an up-to-date version of codox