[Bug 991929] [ARM] Agda: FTBFS in rawhide