a120c66f98
-Added, instead an OS.get_system_time_secs(), which is 32 bits friendly, fixes #3143
-Added, instead an OS.get_system_time_secs(), which is 32 bits friendly, fixes #3143