Fixed libmpi unix extension