Maybe travis also needs libc++abi?