[Bordeaux-threads-devel] Patch for the unsupported backend