As an update, for a workaround, a bash script is not sufficient, and replacing an armcl with a binary wrapper is necessary. A one compiled from the following program may be used:
#include <unistd.h>
char* binary = "/home/ubuntu/ti/ti-cgt-arm_16.9.6.LTS/bin/armcl-or";
int main(int argc, char* argv[]) {
argv[0] = binary;
return execv(binary, argv);
}
In this particular case, doing so exposed crashes in analysis.