Issue #16: Replace launch/include by the standard includes