bin/pysmt-install @PREFIX@/bin/pysmt-install-@PYVERSSUFFIX@
