gps_time_plugin_platform_interface library