workaround for bug with vector_size(n) attribute with gcc 4.8 on x86-64