DynFlags: Yet one more fix