Enable support for generating kpi symbol sets

These changes enable kpi symbol set generation on Linux (and OSX?) build hosts.