AllTestsForTarget.cpp uses hardcoded commandline arguments.
Merge branch '12th'