thanks @eschoppik for the tip re -TBd flags