Fixes missing sophus includes.