Fix compilation with libclang 3.3