[CI] change instrumented build job to avoid problems on certain runners

Pure CI change.

Recently, two of the FhG runners mysteriously timed out in the instrumented build job. Modifying the command there slightly seems to avoid this.