Use System.Timeout.timeout instead of a custom version