Shark 0.8 built into a Docker container