On 4 July 2014 16:12, Sylvain Gault <sylvain.gault at inria.fr> wrote: > It seems it was due to the debian package for clang 3.3. Switching to > clang 3.4 resolved the issue. Glad to hear you fixed your issue.