[ Makefile ] Updated agda_stdlib_path variable