Fix gravel ore being harvestable without shovel.
Merge pull request #842 from bonii-xx/pr

Fix gravel ore being harvestable without shovel.