fixing problems with urdfdom_headers 0.3.0