third attempt at fixing Travis