See whether this extra travis stuff helps