[ros-users] Header.h location

Hi,

Starting from a clean Diamondback install, I noticed the Header.h file
from std_msgs is not (?) in the include path exported in the manifest.
There is the roslib/Header.h file which says it's deprecated and
refers to std_msgs/Header.h. That last one however is not there. It's
actually in msg_gen/cpp/include/std_msgs/Header.h
Is this location supposed to be exported in the manifest as well? Or
are the headers not installed correctly?

regards,

Steven