made symlink dereferencing optional