s3.pl: better check of the cmdline options