Fix build for jenkins