Actually use clang++-3.4 (Travis)