osum4est/pancake not found