fix binary compression bug, optimize bit-vector export format