Change in osmo-ttcn3-hacks[master]: pcu: Fix race condition in TC_t3141