Good point, that's a vestige of removing Mirage into a separate library. Fixed in 36c76d71cf745698250d589c9e5595c3472c78a1