Support for new target-triple format