Replace vector<bool> with boost::dynamic_bitmask<> in alphabet.H.