agda: change defaults to latest version