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

Meant to say it ships with 12.04 LTS, sorry about that.