Use libc++ for travis