Updated Makefile with fix for missing mathlib