Update to Shark 0.8.1 release