make gui remove_tla test more reliable (hopefully)