[ test ] use $(AGDA_BIN) instead of agda in make epic-test