These files are installed by gtkmathview and are copied here for
use by the CocoaAbi build system.