Set the pid file location on Debian systems.