trivial fixes in eiffeltest_ng