[metapost] verbatimtex not used from an .mp include file?

[Karl Berry]

      verbatimtex
      \def\x{abc}
      etex

    So blah.mp should know about \x, but running metapost produces this:

I surmise it is read inside a group.  How about
\gdef\x{abc}

?