[SPDK] Configuring spdk for vtune

I'm trying to collect profiling information via vtune on an SPDK application and found the --with-vtune=<path> configuration flag. But the build fails with vtune.c:47:10: fatal error: ittnotify_static.c: No such file or directory #include "ittnotify_static.c" ^~~~~~~~~~~~~~~~~~~~ compilation terminated. bdev.c:55:10: fatal error: ittnotify.h: No such file or directory #include "ittnotify.h" ^~~~~~~~~~~~~ compilation terminated. which I sort of understand as neither of those files exist under /tmp/vtune_amplifier_2019.3.0.590814 My question is, how do those files get installed? I'd assumed that vtune took care of that part, but I'm now wondering if I missed something. TIA. --chuck