provision.sh: add -i option to sed command