Revert using vector<char> instead of vector<bool>, it breaks elsewhere