This is already the case, if compressed video is larger then the original is used. I will test it, maybe we aggressively delete original (temp) video too early. Thanks for reporting it!