Workaround GCC4.6 internal compiler error