Non-root users don't have write access to /var/run by default,
so don't use that as the default location of the pid file.