Got Pufferfish running