Re-encoding a video for compact size