This has been fixed with the changes to re-implement the TEA build system.
See commit [6c02d4d0291e784b] for the complete set of changes.