Connecting PKB to FibriCheck