Are these necessary in `file_unix.rs`?