GNU progress and challenges