change default BWT encoding in MausFmToBwaConversion