use Agda input method after loading Agda
update server