petri-foo: use released version 0.1.87