Also, his patch to runtests.sh to pass the -bb option (issue 4125).
Attach a file by drag & drop or click to upload
