#!/bin/sh
for file in 8.13.5*; do
	cp -p $file $file.new;
	chmod u+w $file.new;
	sed \
		-e "s?8.13.4?8.13.5?g" \
	$file > $file.new;
	mv -f $file.new $file;
	chmod u-w $file;
	done;