some eiffeltest files fixed
still working on debian packaging