fix build for jenkins