travis/osx: use libc++