Extend to with_sdk_and_type to choose a device type.
Expose tcc_path.