fixed the pid_file for debian