Obsolete file not used by catkin