fix mflag import

Fixes #3777