clafer 0.3.7 and shared sandbox