[Bug 991929] Agda: FTBFS in rawhide