Better PID file handling