(This is only relevant for the example and what we use in the ros/rosdistro repo. The REP does not specify what you have to use.)