config for crosstool-ng