Update f20-server.ks