[Travis] catkin.