server: Store valid file options in pseudo file descriptors.

server/file.h

diff --git a/server/file.h b/server/file.h
index 09c90c3..df5988d 100644
--- a/server/file.h
+++ b/server/file.h
@@ -52,7 +52,8 @@
 
 /* file descriptor functions */
 
-extern struct fd *alloc_pseudo_fd( const struct fd_ops *fd_user_ops, struct object *user );
+extern struct fd *alloc_pseudo_fd( const struct fd_ops *fd_user_ops, struct object *user,
+                                   unsigned int options );
 extern void set_no_fd_status( struct fd *fd, unsigned int status );
 extern struct fd *open_fd( const char *name, int flags, mode_t *mode, unsigned int access,
                            unsigned int sharing, unsigned int options );