antmak

Please cherry-pick commits from https://github.com/crosstool-ng/crosstool-ng/pull/1833 for your local copy. The fixes will be back-ported soon