Fix compilation with clang 3.2