deal.II: CentOS7 included in comment, that the program 'patch' has to be installed