add memo for mathlib linking