What about travis default libc++?