issue #9090 : Take the same approach for socketmodule as daytimemodule
when it needs support from timemodule (which is a .so on linux):
link in timemodule.c for the required functions.
diff --git a/Modules/timemodule.c b/Modules/timemodule.c
index c87805f..12c43b0 100644
--- a/Modules/timemodule.c
+++ b/Modules/timemodule.c
@@ -1058,7 +1058,7 @@
 
 /* export floattime to socketmodule.c */
 PyAPI_FUNC(double)
-_PyTime_floattime(void)
+_PyTime_FloatTime(void)
 {
     return floattime();
 }