[SERVER-15382] fix the v8-3.25 build

78c5f9dd5a broke the v8 3.25 build, but in very simple ways.