Fix compile error with jenkins