fix another compile error on jenkins