Bugs found in external projects thanks to strace's test suite: