fix one wrong path now that we switched to git