add mathlib to makefile