don't install agda twice