[ Makefile ] There is no branch 2.4.2.2 in the standard library

At present, the 2.4.2.1 branch of the standard library is compatible
with Agda 2.4.2.2.