more tries at fixing the weird travis behaviour