Properly link Python time module to libm.