Another Travis build fix