v8.1.0500
833e5dab · patch 8.1.0500: cleaning up in src/tee may not always work ·