midori: fix build (close #2542)