fix a bug regarding everymplib/everyendmplib