Linking libcarmen-global against libm