Fixing Jenkins build