1.1.2: auto-generate instrumented manifest