Updated Makefile for missing mathlib