-./"$tmpcore" >"$tmpoutput" --eval '(quit :unix-status 71)'
-if [ $? != 71 ]; then
- echo "failure in banner suppression: $?"
+./"$tmpcore" > "$tmpoutput" --no-userinit --no-sysinit --noprint <<EOF
+ (quit :unix-status 71)
+EOF
+status=$?
+if [ $status != 71 ]; then
+ echo "failure in banner suppression: $status"