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