Update release files for 0.7.1.