Supplementary files for updmap
