do msan as well (was deactivated for local debugging)