Enable 'make library-test' with an absolute $AGDA_BIN.
Merge branch 'maint-2.4.2'

Conflicts:
	Makefile