# Avoid warnings for gpl-code-linked-with-openssl.
petri-foo: possible-gpl-code-linked-with-openssl
