Another attempt at fixing Travis