server fixes; sensei executable