Have travis also make libc++