update prelude to Oct 17, a9f62cf727a0d7080bcc3d1