Properly compute redundancy_bytes