[thud][PATCH 5/6] tcmode-external-arm.inc: set glibc override