Bugfix
   * Add fix for -DENABLE_PROGRAMS=OFF build error reported in issue 10587.