Add /etc/os-release. Bug fix in pinstall.sh.