Make temporary fix of problem that sometimes causes the ct_util server to die