/usr/include/tbb/machine/ is in libtbb-dev 2017~U7-8.
This file is owned by root:root, with mode 0o755.
..
/usr/include/tbb/machine/gcc_armv7.h
/usr/include/tbb/machine/gcc_generic.h
/usr/include/tbb/machine/gcc_ia32_common.h
/usr/include/tbb/machine/gcc_itsx.h
/usr/include/tbb/machine/ibm_aix51.h
/usr/include/tbb/machine/icc_generic.h
/usr/include/tbb/machine/linux_common.h
/usr/include/tbb/machine/linux_ia32.h
/usr/include/tbb/machine/linux_ia64.h
/usr/include/tbb/machine/linux_intel64.h
/usr/include/tbb/machine/mac_ppc.h
/usr/include/tbb/machine/macos_common.h
/usr/include/tbb/machine/mic_common.h
/usr/include/tbb/machine/msvc_armv7.h
/usr/include/tbb/machine/msvc_ia32_common.h
/usr/include/tbb/machine/sunos_sparc.h
/usr/include/tbb/machine/windows_api.h
/usr/include/tbb/machine/windows_ia32.h
/usr/include/tbb/machine/windows_intel64.h