A pull request with the changes needed to get the build working could be submitted to the Armory github. It can only be rejected, so not much to lose in trying.
As I mentioned earlier in this thread I've already done that, it is #315.My apologies, I do that sort of thing sometimes. I'll try to keep the noise down
