[ros-diffs] [chorns] 19657: Speed up compilation of taskmgr