fixes for ngsolve 5.2