stepancheg/Sophus not found