Blog 2013-09-13: Cleaner `strace` command