[ros-diffs] [hpoussin] 33627: Fix precompiled header name. According to http://gcc.gnu.org/onlinedocs/gcc/Precompiled-Headers.html , precompiled header name *must be* the name of the header followed by .gch See issue #3263 for more details.