Fix for Travis setup