another attempt at fixing Travis