[ay4] fix Satfinder