Another attempt at fixing the Travis build