[Spot] can't compile spot