ping travis (after spurious SIGSEGV)