This file marks the pattern devel_mono to be installed.