Update cover tool location for travis