Apply workaround for buggy GCC 4.7.2 #1965