ENG-4290 Fix another Ubuntu 12.04 compilation error.