Added include for mcheck.h (though we currently don't use it)