CTAN update: hvextern