Rename install_step12.sh to install_step13.sh