../../src/strace: Exit of unknown pid 1725 ignored
