fix undefined reference to programme in _serve_student (= botched merge of d84a02789ef21337fd5aac9e0f63fb104d85cb94 in e662ecefdd68acbdc1137b235f1356c28656e300)