fix stash-mess for ./waf with a new identical version

diff --git a/waf b/waf
index f1f5c760c9ed40396414757c3e10893769f9b14e..880be147e819253e67b59213e005be33a7a03d0f 100755 (executable)
Binary files a/waf and b/waf differ