fix compilation for Agda 2.3.0.1 again