Bump agda to 2.4.0.1