This file marks the pattern gnome_basis_opt to be installed.
