Update agda config.