Update to Agda 2.4.2.2.