rename overview.pdf to r7rs_overview.pdf