do we need the `Thorfile`?