In some cases it seems that the firefox strace wrapper is killed before
reaching the end where the strace.tmp file is removed, so strace.tmp are
left.