Ignore unused warning when not using debuggify_time.