make the library work with Agda 2.4.1 development version