NASA’s Mars helicopter Ingenuity needs a patch to keep flying after sensor failure