Karl, please add a script `update-map' to Tools (and add it to your cron script) which calls updmap so that new versions of dvipdfm.map and friends get checked in as soon as a type 1 font has been added. Werner