fix for Travis setup issue