Workaround for bug in GCC < 4.6.2