Fix ConfigVariable.h to support gcc-4.6 (ships with Ubuntu 12.10).