page_buffer.v: \
  ./.git/HEAD \
  ./.git/config \
  ./.git/refs/heads/rearrange \
  # as before