Update file_server_lib.php