[ Makefile ] Fixed Agda standard library path.