change instruments.ts generation to use a dedicated pro file