Updated `auto` to work with Agda 2.4.0.