Fix pid file location in Debian init script.