clean up the pid files after stopping the server