Shouldn't we use `new FileProps(...)` here, as `FileProps` is an `AnyVal`?