map shark-0.9.2 to shark-0.9.1

because Shark 0.9.2 is not released yet.