(BIN) ion-deployer-plugin.hpi