Fix Arch Linux rosdep mappings.

Cf. #2891