Maybe actually use libc++ for travis