Do not strip ".bt5" extension when it's not there.
Vincent Pelletier authored
Fixes installing BTs from a "directory"-style BT repository (like,
genbt5list called on a bare checkout).
aa4e509a