Enable 'make library-test' with an absolute $AGDA_BIN.