@User: (netgen related) Apparently, recent changes in netgen cause

./configure --prefix=xx

to behave differently on different systems. On centos7, I needed to specify

--exec-prefix

as well; otherwise, the

bin/netgen

file will use the default prefix at

/usr/local

. On centos8 and arch linux, specifing

--prefix

by itself was enough.