fixed missing final \0 byte in encodefile