Fixed linker problems in mathlib