Fix for Travis script.