use sed -f