Clean up after pe-install.sh.