add pid_file as in Debian package