TODO patch files in test/instrumeted couldn't be merged

Expediente solution: cd to test\instrumented and run mkInstrumented manually, pending .sha1 update
only then will ./partest --specialized succeed.