Trying to fix travis problems