Make example use libc++