 
   func testURLRequestTimeout1() throws
   { // time out a URL request via session configuration
-#if os(Linux) && !swift(>=5.1.2)
+#if os(Linux) && !swift(>=5.1.3)
     print("this test does not succeed due to a corelibs-foundation bug")
 #else
     URLSessionResumeTests.configuration.timeoutIntervalForRequest = 1.0


  func testURLRequestTimeout2() throws
  { // time out a URL request via request configuration
#if os(Linux) && !swift(>=5.1.2)
    print("this test does not succeed due to a corelibs-foundation bug")
#else
    let session = URLSession(configuration: URLSessionResumeTests.configuration)


  func testDownload_OK() throws
  {
#if os(Linux) && !swift(>=5.1.3)
    print("this test does not succeed due to a corelibs-foundation bug")
#else
    TestURLServer.register(url: textURL, response: simpleGET(_:))
