Fixing PID file location brittleness

PID file will now always be ${COMMAND}.pid, and fiddling with server
configuration (either in init scripts or command scripts) can't break
this.