shutdown.sh: fix pid file