post_install() {
cat << EOF
  If you find trouble starting discosrv, try running \`chown -R
  nobody:nobody /var/discosrv\` after first start.
EOF
}