The files are taken as is from VTune Amplifier XE distribution. Currently we have no up to date version available online, so keeping the files inside hhvm looks like the only option (probably it makes sense to move them to third_party directory); it's possible that we will post them externally (e.g. on github) in the future.