lezcano/expm not found