fix pid_file for debian