CTAN update: verifycommand