Use a PID file?