modifies --mathlab => --mathlib