This file marks the pattern dhcp_dns_server-32bit to be installed.
