Real files get their own data type (File) instead of FilePath.