Build Agda and hindent with a recent version of src-exts.