Do not tangle files unnecessarily