Setting up Pufferfish