Try this fix for Travis?