Remove conflicting nickname.

Because BT is already (which one came first?) taken by BORDEAUX-THREADS,
which is also used way more often.