Fix rbenv-related build issues on Jenkins