Hack to support gcc 4.6