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