fix: surfex.lib: no_ex (requires interactive surfex)