Adds Sophus includes