Update mathlib.php