This is cleaned up by `cleanfile` (from the linux kernel tree
tool set).