trying fix mirrors problem with TypecheckerAPI