workaround for ros/rosdistro#4062