Switching to Agda 2.4.0.1.