Print flags in hex instead of decimal.
Hex is easier to grok for flags, and consistent with other prints.