Workaround for a bug in GCC 4.7.2