Got write_binary to output the byte index into the compressed index file