makeTests.sh now really skips files which were already tested