Use `file` to construct paths