Only build mirage-types if Io_page is also installed