Agda changed the implementation of the --without-K option.