fix travis speedup