fix -package:Agda package:srtree