fix integration with mibuild