change the -lm option