Fix timestamp on Windows

strftime("%s") is not cross-platform, time.time() will provide a floating-point timestamp on all platforms