if test -n "`$PACKAGE --version | sed -n s/$PACKAGE.*$VERSION/OK/p`"; then
banner="Regression testing for GNU $PACKAGE, version $VERSION"
if test -n "`$PACKAGE --version | sed -n s/$PACKAGE.*$VERSION/OK/p`"; then
banner="Regression testing for GNU $PACKAGE, version $VERSION"