More robust PID file handling
Use UTC timezone